CIMATTI, ALESSANDRO: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Strong temporal planning with uncontrollable durations

Cimatti, Alessandro, Do, Minh, Micheli, Andrea, Roveri, Marco, Smith, David E.

Journal:

Artificial Intelligence

Year:

2018

Language:

english

File:

PDF, 1.10 MB

english, 2018

2

Strong planning under partial observability

Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso

Journal:

Artificial Intelligence

Year:

2006

Language:

english

File:

PDF, 2.45 MB

english, 2006

3

NUSMV: a new symbolic model checker

Alessandro Cimatti, Edmund Clarke, Fausto Giunchiglia, Marco Roveri

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2000

Language:

english

File:

PDF, 355 KB

english, 2000

4

Spacecraft early design validation using formal methods

Bozzano, Marco, Cimatti, Alessandro, Katoen, Joost-Pieter, Katsaros, Panagiotis, Mokos, Konstantinos, Nguyen, Viet Yen, Noll, Thomas, Postma, Bart, Roveri, Marco

Journal:

Reliability Engineering & System Safety

Year:

2014

Language:

english

File:

PDF, 2.48 MB

english, 2014

5

[IEEE 2013 International Conference on Embedded Software (EMSOFT) - Montreal, QC, Canada (2013.09.29-2013.10.4)] 2013 Proceedings of the International Conference on Embedded Software (EMSOFT) - Time-aware relational abstractions for hybrid systems

Mover, Sergio, Cimatti, Alessandro, Tiwari, Ashish, Tonetta, Stefano

Year:

2013

Language:

english

File:

PDF, 676 KB

english, 2013

6

[Lecture Notes in Computer Science] Formal Methods for Hardware Verification Volume 3965 ||

Bernardo, Marco, Cimatti, Alessandro

Year:

2006

Language:

english

File:

PDF, 2.95 MB

english, 2006

7

An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty

Cimatti, Alessandro, Micheli, Andrea, Roveri, Marco

Journal:

Artificial Intelligence

Year:

2015

Language:

english

File:

PDF, 1.12 MB

english, 2015

8

Post-Traumatic Intracranial Meningiomas

Caroli, Emanuela, Salvati, Maurizio, Rocchi, Giovanni, Frati, Alessandro, Cimatti, Marco, Raco, Antonino

Journal:

Year:

2003

Language:

english

File:

PDF, 608 KB

english, 2003

9

Computational reflection via mechanized logical deduction

Alessandro Cimatti, Paolo Traverso

Journal:

International Journal of Intelligent Systems

Year:

1996

Language:

english

File:

PDF, 1013 KB

english, 1996

10

Preface

Alessandro Armando, Alessandro Cimatti

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 58 KB

english, 2006

11

Verifying Industrial Hybrid Systems with MathSAT

Gilles Audemard, Marco Bozzano, Alessandro Cimatti, Roberto Sebastiani

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 319 KB

english, 2005

12

Encoding RTL Constructs for MathSAT: a Preliminary Report

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Ziyad Hanna, Zurab Khasidashvili, Amit Palti, Roberto Sebastiani

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 261 KB

english, 2006

13

Verification of a safety-critical railway interlocking system with real-time constraints

Vicky Hartonas-Garmhausen, Sergio Campos, Alessandro Cimatti, Edmund Clarke, Fausto Giunchiglia

Journal:

Science of Computer Programming

Year:

2000

Language:

english

File:

PDF, 157 KB

english, 2000

14

Preface: Volume 23, Issue 2

Alessandro Cimatti, Orna Grumberg

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 47 KB

english, 2001

15

Formalizing requirements with object models and temporal constraints

Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta

Journal:

Software & Systems Modeling

Year:

2011

Language:

english

File:

PDF, 549 KB

english, 2011

16

Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis

Roberto Bruttomesso, Alessandro Cimatti, Anders Franzen, Alberto Griggio, Roberto Sebastiani

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2009

Language:

english

File:

PDF, 1.54 MB

english, 2009

17

MathSAT: Tight Integration of SAT and Mathematical Decision Procedures

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani

Journal:

Journal of Automated Reasoning

Year:

2005

Language:

english

File:

PDF, 877 KB

english, 2005

18

Efficient theory combination via boolean search

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani

Journal:

Information and Computation

Year:

2006

Language:

english

File:

PDF, 1.84 MB

english, 2006

19

SMT-based scenario verification for hybrid systems

Cimatti, Alessandro, Mover, Sergio, Tonetta, Stefano

Journal:

Formal Methods in System Design

Year:

2013

Language:

english

File:

PDF, 800 KB

english, 2013

20

[IEEE 2012 38th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) - Cesme, Izmir, Turkey (2012.09.5-2012.09.8)] 2012 38th Euromicro Conference on Software Engineering and Advanced Applications - A Property-Based Proof System for Contract-Based Design

Cimatti, Alessandro, Tonetta, Stefano

Year:

2012

Language:

english

File:

PDF, 204 KB

english, 2012

21

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2012 Volume 7317 || Understanding IC3

Cimatti, Alessandro, Sebastiani, Roberto

Year:

2012

Language:

english

File:

PDF, 222 KB

english, 2012

22

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2012 Volume 7317 || Improvements to Core-Guided Binary Search for MaxSAT

Cimatti, Alessandro, Sebastiani, Roberto

Year:

2012

Language:

english

File:

PDF, 388 KB

english, 2012

23

Quantifier-free encoding of invariants for hybrid systems

Cimatti, Alessandro, Mover, Sergio, Tonetta, Stefano

Journal:

Formal Methods in System Design

Year:

2014

Language:

english

File:

PDF, 782 KB

english, 2014

24

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2012 Volume 7317 || Efficient SAT Solving under Assumptions

Cimatti, Alessandro, Sebastiani, Roberto

Year:

2012

Language:

english

File:

PDF, 244 KB

english, 2012

25

Validation of requirements for hybrid systems

Cimatti, Alessandro, Roveri, Marco, Susi, Angelo, Tonetta, Stefano

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2012

Language:

english

File:

PDF, 727 KB

english, 2012

26

[IEEE 2009 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2009.11.15-2009.11.18)] 2009 Formal Methods in Computer-Aided Design - Structure-aware computation of predicate abstraction

Cimatti, Alessandro, Dubrovin, Jori, Junttila, Tommi, Roveri, Marco

Year:

2009

Language:

english

File:

PDF, 210 KB

english, 2009

27

[IEEE 2013 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR (2013.10.20-2013.10.23)] 2013 Formal Methods in Computer-Aided Design - Parameter synthesis with IC3

Cimatti, Alessandro, Griggio, Alberto, Mover, Sergio, Tonetta, Stefano

Year:

2013

Language:

english

File:

PDF, 251 KB

english, 2013

28

[IEEE 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) - Oulu, Finland (2011.08.30-2011.09.2)] 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications - HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction

Cimatti, Alessandro, Mover, Sergio, Tonetta, Stefano

Year:

2011

Language:

english

File:

PDF, 379 KB

english, 2011

29

[IEEE 2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design (MEMOCODE) - Cambridge, MA, USA (2009.07.13-2009.07.15)] 2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design - Codesign of dependable systems: A component-based modeling language

Bozzano, Marco, Cimatti, Alessandro, Roveri, Marco, Katoen, Joost-Pieter, Nguyen, Viet Yen, Noll, Thomas

Year:

2009

Language:

english

File:

PDF, 253 KB

english, 2009

30

[IEEE Formal Methods in Computer Aided Design (FMCAD'07) - Austin, TX, USA (2007.11.11-2007.11.14)] Formal Methods in Computer Aided Design (FMCAD'07) - Computing Predicate Abstractions by Integrating BDDs and SMT Solvers

Cavada, Roberto, Cimatti, Alessandro, Franz¿en, Anders, Kalyanasundaram, Krishnamani, Roveri, Marco, Shyamasundar, R.K.

Year:

2007

Language:

english

File:

PDF, 206 KB

english, 2007

31

[IEEE 2009 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2009.11.15-2009.11.18)] 2009 Formal Methods in Computer-Aided Design - Software model checking via large-block encoding

Beyer, Dirk, Cimatti, Alessandro, Griggio, Alberto, Keremoglu, M. Erkan, Univers, Simon Fraser, Sebastiani, Roberto

Year:

2009

Language:

english

File:

PDF, 232 KB

english, 2009

32

[IEEE 2013 18th International Conference on Engineering of Complex Computer Systems (ICECCS) - Singapore, Singapore (2013.07.17-2013.07.19)] 2013 18th International Conference on Engineering of Complex Computer Systems - Automated Analysis of Reliability Architectures

Bozzano, Marco, Cimatti, Alessandro, Mattarei, Cristian

Year:

2013

Language:

english

File:

PDF, 797 KB

english, 2013

33

[IEEE 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE) - Silicon Valley, CA, USA (2013.11.11-2013.11.15)] 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) - OCRA: A tool for checking the refinement of temporal contracts

Cimatti, Alessandro, Dorigatti, Michele, Tonetta, Stefano

Year:

2013

Language:

english

File:

PDF, 274 KB

english, 2013

34

Contracts-refinement proof system for component-based embedded systems

Cimatti, Alessandro, Tonetta, Stefano

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 1.21 MB

english, 2015

35

[IEEE 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Cape Town, South Africa (2008.11.10-2008.11.14)] 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Object Models with Temporal Constraints

Cimatti, Alessandro, Roveri, Marco, Susi, Angelo, Tonetta, Stefano

Year:

2008

Language:

english

File:

PDF, 385 KB

english, 2008

36

[Lecture Notes in Computer Science] Formal Methods for Hardware Verification Volume 3965 || Floating-Point Verification Using Theorem Proving

Bernardo, Marco, Cimatti, Alessandro

Year:

2006

Language:

english

File:

PDF, 664 KB

english, 2006

37

[IEEE 2008 9th International Workshop on Discrete Event Systems - Goteborg, Sweden (2008.05.28-2008.05.30)] 2008 9th International Workshop on Discrete Event Systems - Beyond Boolean SAT: Satisfiability modulo theories

Cimatti, Alessandro

Year:

2008

Language:

english

File:

PDF, 160 KB

english, 2008

38

Safety assessment of AltaRica models via symbolic model checking

Bozzano, Marco, Cimatti, Alessandro, Lisagor, Oleg, Mattarei, Cristian, Mover, Sergio, Roveri, Marco, Tonetta, Stefano

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 997 KB

english, 2015

39

[IEEE 2014 21st International Symposium on Temporal Representation and Reasoning (TIME) - Verona, Italy (2014.9.8-2014.9.10)] 2014 21st International Symposium on Temporal Representation and Reasoning - Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation

Cimatti, Alessandro, Hunsberger, Luke, Micheli, Andrea, Posenato, Roberto, Roveri, Marco

Year:

2014

Language:

english

File:

PDF, 431 KB

english, 2014

40

[IEEE 2006 Formal Methods in Computer Aided Design - San Jose, CA (2006.11.12-2006.11.12)] 2006 Formal Methods in Computer Aided Design - From PSL to NBA: a Modular Symbolic Encoding

Cimatti, Alessandro, Roveri, Marco, Semprini, Simone, Tonetta, Stefano

Year:

2006

Language:

english

File:

PDF, 483 KB

english, 2006

41

Solving strong controllability of temporal problems with uncertainty using SMT

Cimatti, Alessandro, Micheli, Andrea, Roveri, Marco

Journal:

Year:

2015

Language:

english

File:

PDF, 2.56 MB

english, 2015

42

[Lecture Notes in Computer Science] Formal Methods for Hardware Verification Volume 3965 || Automatic Test Pattern Generation

Bernardo, Marco, Cimatti, Alessandro

Year:

2006

Language:

english

File:

PDF, 422 KB

english, 2006

43

SYMBOLIC IMPLEMENTATION OF ALTERNATING AUTOMATA

BLOEM, RODERICK, CIMATTI, ALESSANDRO, PILL, INGO, ROVERI, MARCO

Journal:

International Journal of Foundations of Computer Science

Year:

2007

Language:

english

File:

PDF, 891 KB

english, 2007

44

MRG: BUILDING PLANNERS FOR REAL-WORLD COMPLEX APPLICATIONS

TRAVERSO, PAOLO, CIMATTI, ALESSANDRO, SPALAZZI, LUCA, ARMANDO, ALESSANDRO, GIUNCHIGLIA, ENRICO

Journal:

Applied Artificial Intelligence

Year:

1994

Language:

english

File:

PDF, 902 KB

english, 1994

45

Comparison of minimally invasive surgery with standard open surgery for vertebral thoracic metastases causing acute myelopathy in patients with short- or mid-term life expectancy: surgical technique and early clinical results

Miscusi, Massimo, Polli, Filippo Maria, Forcato, Stefano, Ricciardi, Luca, Frati, Alessandro, Cimatti, Marco, De Martino, Luca, Ramieri, Alessandro, Raco, Antonino

Journal:

Journal of Neurosurgery Spine

Year:

2015

Language:

english

File:

PDF, 4.40 MB

english, 2015

46

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2012 Volume 7317 || SatX10: A Scalable Plug&Play Parallel SAT Framework

Cimatti, Alessandro, Sebastiani, Roberto

Year:

2012

Language:

english

File:

PDF, 176 KB

english, 2012

47

[ACM Press the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering - Amsterdam, The Netherlands (2009.08.24-2009.08.28)] Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium - ESEC/FSE '09 - Verification and performance evaluation of aadl models

Bozzano, Marco, Cimatti, Alessandro, Roveri, Marco, Katoen, Joost-Pieter, Nguyen, Viet Yen, Noll, Thomas

Year:

2009

Language:

english

File:

PDF, 339 KB

english, 2009

48

Efficient generation of craig interpolants in satisfiability modulo theories

Cimatti, Alessandro, Griggio, Alberto, Sebastiani, Roberto

Journal:

ACM Transactions on Computational Logic

Year:

2010

Language:

english

File:

PDF, 1.09 MB

english, 2010

49

[ACM Press Proceeding of the 1st workshop - Waikiki, Honolulu, HI, USA (2011.05.28-2011.05.28)] Proceeding of the 1st workshop on Developing tools as plug-ins - TOPI '11 - OthelloPlay

Cavada, Roberto, Cimatti, Alessandro, Micheli, Andrea, Roveri, Marco, Susi, Angelo, Tonetta, Stefano

Year:

2011

Language:

english

File:

PDF, 81 KB

english, 2011

50

HRELTL: A temporal logic for hybrid systems

Cimatti, Alessandro, Roveri, Marco, Tonetta, Stefano

Journal:

Information and Computation

Year:

2015

Language:

english

File:

PDF, 566 KB

english, 2015

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски